521. Theory of fuzzy computation
Author: Syropoulos, Apostolos, Apostolos Syropoulos
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Fuzzy logic,Mathematics ، Computer science,، Computer science -- Mathematics,، Fuzzy logic,، Number theory
Classification :
QA9
.
64
522. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998
Author: editors, Masahiko Sato, Yoshihito Toyama
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
62
.
F84
1998
523. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-14, 1998
Author: editors, Masahiko Sato, Yoshihito Toyama
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Functional programming )Computer science( - Congresses , Logic programming - Congresses
Classification :
QA
76
.
62
.
F84
1998
524. Tools for Practical Software Verification :
Author: edited by Bertrand Meyer, Martin Nordio.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
V47
E358
2012
525. Towards Evolvable Hardware :
Author: edited by Eduardo Sanchez, Marco Tomassini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
TK7888
.
4
E358
1996
526. Trends in Functional Programming :
Author: edited by Jay McCarthy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.
Classification :
QA76
.
62
E358
2014
527. Trends in Functional Programming
Author: \ Jurriaan Hage , Jay McCarthy (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Functional programming (Computer science) -- Congresses.,Logic design -- Computer programs -- Congresses.,Data structures (Computer science) -- Congresses.,طراحی منطقی -- برنامههای کامپیوتری -- کنگره ها ,ساختار دادهها -- کنگره ها
Classification :
QA
76
.
62
.
T7
2015
E-Book
,
528. Trends in functional programming :
Author: Michał Pałka, Magnus Myreen (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)
Classification :
QA76
.
62
.
I58
2018
529. Trends in functional programming :
Author: David Van Horn, John Hughes (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.
Classification :
QA76
.
62
530. Trends in functional programming :
Author: edited by Meng Wang, Scott Owens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
62
531. Typed Lambda Calculi and Applications :
Author: edited by Marc Bezem, Jan Friso Groote.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.
532. Typed Lambda Calculi and Applications :
Author: edited by Masahito Hasegawa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing.,Computer science.,Logic design.
Classification :
QA9
.
5
E358
2013
533. Typed Lambda Calculi and Applications :
Author: edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Lambda calculus -- Congresses.,Logic design.
Classification :
QA9
.
5
E358
1995
534. Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach
Author: by Bilal M. Ayyub, Madan M. Gupta.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Mathematical optimization.,Operations research.
535. Uncertainty treatment using paraconsistent logic
Author: Joao Inacio da Silva Filho, Germano Lambert-Torres and Jair Minoro Abe
Library: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
Subject: Neural networks (Computer science),Uncertainty (Information theory),Logic programming,Inconsistency (Logic),Artificial intelligence
Classification :
QA
,
76
.
87
,.
S57
,
2010
536. Uncertainty treatment using paraconsistent logic: introducing paraconsistent artificial neural networks
Author: Silva Filho, Joao Inacio da.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Neural networks )Computer science(,، Uncertainty )Information theory(,، Logic programming,، Inconsistency )Logic(,، Artificial intelligence
Classification :
QA
76
.
87
.
S57
2010
537. VDM'91 Formal Software Development Methods :
Author: edited by S. Prehn, W.J. Toetenel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
538. VDM '90 VDM and Z -- Formal Methods in Software Development :
Author: edited by D. Bjørner, C.A.R. Hoare, H. Langmaack.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
539. Vagueness in communication :
Author: Rick Nouwen [and others] (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses,Natural language processing (Computer science), Congresses,Vagueness (Philosophy), Congresses
Classification :
QA76
.
9
.
L63
V34
2011
540. Verification:
Author: edited by Nachum Dershowitz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
V47
E358
2004
